Distributed abstraction and verification of an installed optical fibre network
نویسندگان
چکیده
منابع مشابه
DIVAC - an experimental optical-fibre communications network
Nowadays 'optical communication' usually means the exchange of information with the aid of optical fibres. The term is also applicable, however, to visual communication by semaphore or similar methods. In France between 1793 and 1852, for example, a visual communication network designed by Claude Chappe was in use. This worked with a system of moving arms that could be viewed by telescope from ...
متن کاملDistributed optical fibre sensing in synthetic fibre ropes and cables
Distributed strain measurements on synthetic fibre ropes as used in marine applications are reported. The ropes incorporate single mode fibre-optic sensors for strain measurement. A Brillouin-amplification-based distributed strain measuring system has been utilised to interrogate the fibre sensors incorporated into a parallel yarn aramid rope. Initial results are presented to conclusively demon...
متن کاملCommunication Abstraction and Verification in Distributed Scenario Integration*
Successfully modeling and analysing requirements are of the main challenges to face up when it is time to produce a formal specification for distributed systems. Scenario approaches are proposed as an alternative to make this process easier. They are based on the decomposition of the system behavior into intuitive pieces that are distributed scenarios. In this paper, we propose an approach to d...
متن کاملPostselection-Loophole-Free Bell Test Over an Installed Optical Fiber Network.
Device-independent quantum communication will require a loophole-free violation of Bell inequalities. In typical scenarios where line of sight between the communicating parties is not available, it is convenient to use energy-time entangled photons due to intrinsic robustness while propagating over optical fibers. Here we show an energy-time Clauser-Horne-Shimony-Holt Bell inequality violation ...
متن کاملAn Abstraction Technique for Real-time Verification
In real-time systems, correctness depends on the time at which events occur. Examples of real-time systems include timed protocols and many embedded system controllers. Timed automata are an extension of finite-state automata that include real-valued clock variables used to measure time. Given a timed automaton, an equivalent finite-state region automaton can be constructed, which guarantees de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Reports
سال: 2021
ISSN: 2045-2322
DOI: 10.1038/s41598-021-89976-w